this._updateVisibility();
this._queueUpdateRegions();
}
-
- // Figure out where the pointer is in case we lost track of
- // it during a grab. (In particular, if a trayicon popup menu
- // is dismissed, see if we need to close the message tray.)
- global.sync_pointer();
},
_updateRegions: function() {
global.screen.connect('window-entered-monitor', _windowEnteredMonitor);
global.screen.connect('window-left-monitor', _windowLeftMonitor);
+ global.screen.connect('restacked', _windowsRestacked);
_nWorkspacesChanged();
}
_queueCheckWorkspaces();
}
+function _windowsRestacked() {
+ // Figure out where the pointer is in case we lost track of
+ // it during a grab. (In particular, if a trayicon popup menu
+ // is dismissed, see if we need to close the message tray.)
+ global.sync_pointer();
+}
+
function _queueCheckWorkspaces() {
if (_checkWorkspacesId == 0)
_checkWorkspacesId = Meta.later_add(Meta.LaterType.BEFORE_REDRAW, _checkWorkspaces);